* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Sep 2012 14:03:15 +0000 (07:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Sep 2012 14:03:15 +0000 (07:03 -0700)
commitc7a2fd0fcc9fe8586ba02849f9bfe6d1dec7d327
tree9f5db3dca0da1e89dfad05c0a530cb17f439dc68
parentaad9e3f3403ba223b320b8235ef760d5897fd441
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex